projects / gnome-shell.git / commit
| author | Cosimo Cecchi <cosimoc@gnome.org> | |
| Mon, 12 Oct 2015 19:38:11 +0000 (15:38 -0400) | ||
| committer | Cosimo Cecchi <cosimoc@gnome.org> | |
| Mon, 12 Oct 2015 19:38:44 +0000 (15:38 -0400) | ||
| commit | 674ae262c855ca113fc2058ceabe881c97cc2115 | |
| tree | 6da4b611961b5fb7ac399848a60b4a31ebab23be | tree | snapshot |
| parent | db297e7fdb08e80583c39bd6c59ddf05805f67ec | commit | diff |
| src/gnome-shell-plugin.c | diff | blob | history | |
| src/shell-wm-private.h | diff | blob | history |